Isomorphism via translation
نویسنده
چکیده
We observe that the known fact that difference logic and hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far wider class of general frames. This observation, together with a general completeness result, is used to show that lattices of difference logics and of hybrid logics are isomorphic.
منابع مشابه
On the Relation between the - Calculus andthe
We construct a translation of rst order-calculus 15] into a subtheory of Felleisen's c-calculus 5, 6]. This translation preserves typing and reduction. Then, by constructing the inverse translation, we show that the two calculi are actually isomorphic.
متن کاملCross-language Projection of Dependency Trees with Constrained Partial Parsing for Tree-to-Tree Machine Translation
Tree-to-tree machine translation (MT) that utilizes syntactic parse trees on both source and target sides suffers from the non-isomorphism of the parse trees due to parsing errors and the difference of annotation criterion between the two languages. In this paper, we present a method that projects dependency parse trees from the language side that has a high quality parser, to the side that has...
متن کاملOn the Relationship between Intralingual/Interlingual Translation and Speaking Fluency of the Iranian Advanced EFL Learners
Speaking as an initial goal in language teaching and learning has relationships with many variables including listening, reading, writing, knowledge of vocabulary as well as grammar. The present study mainly aims at examining the relationship between translations and speaking fluency. For this purpose and following an experimental design, three groups of Iranian advanced EFL learners were...
متن کاملMultivariate Analysis
1 Nat-Bijection: Bijections between natural numbers and other types 13 1.1 Type nat × nat . . . . . . . . . . . . . . . . . . . . . . . . . . 13 1.2 Type nat + nat . . . . . . . . . . . . . . . . . . . . . . . . . . 15 1.3 Type int . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 1.4 Type nat list . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 1.5 Finite sets of naturals...
متن کاملTilings and Associated Relational Structures
In the present paper, as we did previously in [5], we investigate the relations between the geometric properties of tilings and the algebraic and model-theoretic properties of associated relational structures. Our study is motivated by the existence of aperiodic tilings. In [5], we considered tilings of the euclidean spaces R, and isomorphism was defined up to translation. Here, we consider, mo...
متن کامل